@i:k sends only on links in L
== e:E. (isrcv(e))  (loc(sender(e)) = i)  (kind(sender(e)) = k)  (lnk(e)  L) 

latex

---

clarification:

kind-send-frame(es;i;k;L)
== e:es-E(es).
== (es-isrcv(es; e))
==  (es-loc(es; es-sender(es; e)) = i  Id)
==  (es-kind(es; es-sender(es; e)) = k  Knd)
==  (es-lnk(es; e)  L  IdLnk) 

latex

Definitions	x:A. B(x), E, b, isrcv(e), Id, loc(e), P  Q, s = t, Knd, kind(e), sender(e), (x  l), lnk(e), IdLnk
FDL editor aliases	kind-send-frame